Une relation est une relation d'équivalence si et seulement si elle respecte les propriétés suivantes :
- Réflexivité
- Symétrie
- Transitivité
(Relation, Réflexivité, Commutativité - Symétrie, Transitivité)
Classe d’équivalence
[Schéma d'une relation]
\(\longleftrightarrow\) relation d'équivalence